\begin{tabbing}
d{-}es\=\{i:l\}\+
\\[0ex]($D$; ${\it es}$)
\-\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\exists$\=$w$:world\{i:l\}\+
\\[0ex]$\exists$$p$:fair{-}fifo\{i:l\}($w$). (possible{-}world\{i:l\}($D$; $w$) \& ${\it es}$ = w{-}es\{i:l\}($w$; $p$) $\in$ ES\{i\})
\-
\end{tabbing}